Keeping Out Trojan Horses: Auctions and Bankruptcy in the Laboratory

Keeping Out Trojan Horses: Auctions and Bankruptcy in the Laboratory

If a government auctions the right to market a good, continuity is likely to be of significant importance. In a laboratory experiment, we compare the effects of bidders’ limited liability in the first-price sealed-bid auction and the English auction in a common value setting. Our data strongly reject our theoretical prediction that the English auction leads to less aggressive bids and fewer ban...

Ducks: The “Trojan Horses” of H5N1 influenza

Wild ducks are the main reservoir of influenza A viruses that can be transmitted to domestic poultry and mammals, including humans. Of the 16 hemagglutinin (HA) subtypes of influenza A viruses, only the H5 and H7 subtypes cause highly pathogenic (HP) influenza in the natural hosts. Several duck species are naturally resistant to HP Asian H5N1 influenza viruses. These duck species can shed and s...

Compiler Implementation Verification and Trojan Horses

WWW Electronic Commerce and Java Trojan Horses

World Wide Web electronic commerce applications often require consumers to enter private informa tion such as credit card numbers into forms in the browser window If third parties can insert trojan horse applications onto a consumer s machine they can monitor keyboard strokes and steal private infor mation This paper outlines a simple way to accomplish this using Java or similar remote executio...

On Trojan Horses in Compiler Implementations

This paper is to present a security-related motivation for compiler veriication, and in particular for binary compiler implementation veriication. We will prove that source level veriication is not suu-cient in order to guarantee compiler correctness. For this, we will adopt the scenario of a well-known attack to Unix operating system programs due to intruded Trojan Horses in compiler executabl...